Kleene algebra

Control-Flow Semantics for Assembly-Level Data-Flow Graphs

Semantics / Proof Theory / Scheduling / Flow Control / Relational Algebra / Instruction Scheduling / Redundancy / Data Flow Diagram / Data Flow Graph / Kleene algebra / Theoretical Foundation / Supercomputer / Instruction Scheduling / Redundancy / Data Flow Diagram / Data Flow Graph / Kleene algebra / Theoretical Foundation / Supercomputer